diff --git a/docs/userguide b/docs/userguide
index c706c631..2d6e50f1 100644
--- a/docs/userguide
+++ b/docs/userguide
@@ -347,7 +347,7 @@ variables can be handy.
 
 *Syntax*:
 --------------
-set name value
+set $name value
 --------------
 
 *Examples*: