diff --git a/doc/codelabs/getting-started/your-first-change.md b/doc/codelabs/getting-started/your-first-change.md
index a22e7003..d0b6fadf 100644
--- a/doc/codelabs/getting-started/your-first-change.md
+++ b/doc/codelabs/getting-started/your-first-change.md
@@ -71,9 +71,9 @@ If you've come here from the [Checking out hscloud](checking-out.md) codelab, yo
     $ cd hscloud
     $ git remote remove origin
     $ # If your local username is the same as your SSO username:
-    $ git remote origin add gerrit.hackerspace.pl:hscloud
-    # # Otherwise, you'll have to specify your SSO username explicitly:
-    $ git remote origin add user@gerrit.hackerspace.pl:hscloud
+    $ git remote add origin gerrit.hackerspace.pl:hscloud
+    $ # Otherwise, you'll have to specify your SSO username explicitly:
+    $ git remote add origin user@gerrit.hackerspace.pl:hscloud
 
 Or, **if you don't have a hscloud checkout on hand**, just clone it from scratch using the authenticated Gerrit endpoint: