diff --git a/collects/deinprogramm/scribblings/std-grammar.ss b/collects/deinprogramm/scribblings/std-grammar.ss
index 7ccb1f7bc8..2171464b70 100644
--- a/collects/deinprogramm/scribblings/std-grammar.ss
+++ b/collects/deinprogramm/scribblings/std-grammar.ss
@@ -29,7 +29,6 @@
    [definition @#,scheme[(define id expr)]
      @#,scheme[(define-record-procedures id id id (id (... ...)))]
      @#,scheme[(define-record-procedures-parametric (id id (... ...)) id id (id (... ...)))]
-     @#,scheme[(contract id contr)]
      @#,scheme[(: id contr)]
      def-rule ...]
    prod ...
@@ -49,6 +48,7 @@
 	 @#,scheme[(letrec ((id expr) (... ...)) expr)]
 	 @#,scheme[(let* ((id expr) (... ...)) expr) ]
 	 @#,scheme[(begin expr expr (... ...))]
+	 @#,scheme[(contract id contr)]
 	 @#,scheme[(for-all ((id contr) (... ...)) expr)]
 	 @#,scheme[(==> expr expr)]
 	 expr-rule ...]