diff --git a/docs/userguide b/docs/userguide
index eb916a86..ff81c3ba 100644
--- a/docs/userguide
+++ b/docs/userguide
@@ -418,7 +418,7 @@ variables can be handy.
 
 *Syntax*:
 --------------
-set name value
+set $name value
 --------------
 
 *Examples*: