parentheses (#718)

Author: martin-henz

xml/chapter5/section1/subsection1.xml

@@ -141,13 +141,13 @@ data_paths(
       pair(name("b"),
            buttons(name("b<-t"), source(register("t")))),
       pair(name("t"),
-           buttons(name("t<-r"), source(operation("rem"))))),
+           buttons(name("t<-r"), source(operation("rem")))))),
   operations(
     list(
       pair(name("rem"),
            inputs(register("a"), register("b"))),
       pair(name("="),
-           inputs(register("b"), constant(0)))))));
+           inputs(register("b"), constant(0))))));
 
 controller(
   list(
@@ -157,8 +157,8 @@ controller(
       "t<-r",                     // button push
       "a<-b",                     // button push
       "b<-t",                     // button push
-      go_to(label("test_b"))),    // unconditional branch
-    "gcd_done");                  // label
+      go_to(label("test_b")),     // unconditional branch
+    "gcd_done"));                 // label
 	</JAVASCRIPT>
       </SNIPPET>
       <CAPTION>A specification of the GCD machine.</CAPTION>