@@ -387,7 +387,7 @@ Urbit OS, also called [Arvo](@/docs/glossary/arvo.md), is our functional and
387387deterministic software stack. Arvo is written in [Hoon](@/docs/glossary/hoon.md), our purely functional
388388programming language, which compiles to [Nock](@/docs/glossary/nock.md), a compact bytecode language.
389389
390−Instances of Urbit OS / Arvo, called '[ships](@/docs/glossary/ship.md)',
390+Instances of Urbit OS, called '[ships](@/docs/glossary/ship.md)',
391391communicate as peers on what we refer to as “the [Ames](@/docs/glossary/ames.md)
392392network.” Using Urbit ID, Urbit OS ships can prove their identities to one
393393another.