diff --git a/Documentation/cmd-index-activate.txt b/Documentation/cmd-index-activate.txt
index 0135cfee3c..aafbd19396 100644
--- a/Documentation/cmd-index-activate.txt
+++ b/Documentation/cmd-index-activate.txt
@@ -5,7 +5,7 @@ gerrit index activate - Activate the latest index version available
 
 == SYNOPSIS
 --
-'ssh' -p @SSH_PORT@ @SSH_HOST@ 'gerrit index activate'
+'ssh' -p <port> <host> 'gerrit index activate'
 --
 
 == DESCRIPTION
diff --git a/Documentation/cmd-index-start.txt b/Documentation/cmd-index-start.txt
index 4148b2405c..1e4b24b714 100644
--- a/Documentation/cmd-index-start.txt
+++ b/Documentation/cmd-index-start.txt
@@ -5,7 +5,7 @@ gerrit index start - Start the online indexer
 
 == SYNOPSIS
 --
-'ssh' -p @SSH_PORT@ @SSH_HOST@ 'gerrit index start'
+'ssh' -p <port> <host> 'gerrit index start'
 --
 
 == DESCRIPTION