* fixed label in goto example

docs/ref.tex

@@ -2548,8 +2548,8 @@ not be as clear as a goto statement.
 For instance, the following is an allowed goto statement:
 \begin{listing}
 
-var
-  jumpto : label
+label
+  jumpto;
 ...
 Jumpto : 
   Statement;