corrections on 404-455 corrected (#725)

* corrections

* controller fix

Author: martin-henz

.gitignore

@@ -10,3 +10,4 @@ test_node_env/expect.txt
 test_node_env/result.txt
 test_node_env/node_modules
 .DS_Store
+*.icloud

xml/chapter4/section4/subsection1.xml

@@ -767,14 +767,7 @@ job(list("Tweakit", "Lem", "E"), list("computer", "technician"))
 	could be any
 	<INDEX>dotted-tail notation<SUBINDEX><ORDER>query</ORDER>in query pattern</SUBINDEX></INDEX>
 	list beginning with
-	<SPLITINLINE>
-	  <SCHEME>
-	    <SCHEMEINLINE>computer</SCHEMEINLINE>,
-	  </SCHEME>
-	  <JAVASCRIPT>
-	    <JAVASCRIPTINLINE>"computer"</JAVASCRIPTINLINE>,
-	  </JAVASCRIPT>
-	</SPLITINLINE>
+	<SCHEMEINLINE>computer</SCHEMEINLINE>,
 	we could
 	specify<SPLITINLINE><SCHEME><FOOTNOTE>This uses the dotted-tail
 	notation introduced in
@@ -793,7 +786,9 @@ job(list("Reasoner", "Louis"),
 	elements, and the pattern<APOS/>s second item specifies that there
 	should be two elements. If we wanted to change the pattern so that the
 	second item could be any
-	list beginning with <SCHEMEINLINE>computer</SCHEMEINLINE>, we could 
+	list beginning with
+	<JAVASCRIPTINLINE>"computer"</JAVASCRIPTINLINE>,
+	we could 
 	specify
 	<COMMENT>
 	  There is no need for <QUOTE>dotted-tail notation</QUOTE> in the

xml/chapter5/section1/subsection1.xml

@@ -448,13 +448,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(
@@ -464,8 +464,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>