fixes #597

Author: martin-henz

xml/chapter5/section2/subsection3.xml

@@ -734,7 +734,7 @@ function make_go_to_ef(inst, machine, labels, pc) {
 	  <INDEX><DECLARATION>go_to_dest</DECLARATION></INDEX>
           <NAME>go_to_go_to_dest</NAME>
           <REQUIRES>make_go_to</REQUIRES>
-          <EXAMPLE>go_to_go_to_dest</EXAMPLE>
+          <EXAMPLE>gcd_machine_complete_example</EXAMPLE>
           <JAVASCRIPT>
 function go_to(label) { return list("go_to", label); }
 <SHORT_SPACE/>
@@ -900,7 +900,7 @@ function make_perform_ef(inst, machine, labels, operations, pc) {
 	  <INDEX><DECLARATION>perform_action</DECLARATION></INDEX>
           <NAME>perform_perform_action</NAME>
           <REQUIRES>make_perform</REQUIRES>
-          <EXAMPLE>perform_perform_action</EXAMPLE>
+          <EXAMPLE>gcd_machine_complete_example</EXAMPLE>
           <JAVASCRIPT>
 function perform(action) { return list("perform", action); }
 <SHORT_SPACE/>

xml/others/04acknowledgements04.xml

@@ -134,7 +134,7 @@ all aspire to.
 We are grateful to Jerry Saltzer and Jim Miller for
 helping us grapple with the mysteries of concurrency, and to
 Peter Szolovits and David McAllester for their contributions
-to the exposition of nondeterministic evaluation in chapter~4.
+to the exposition of nondeterministic evaluation in chapter<SPACE/>4.
 </TEXT>
 <TEXT>
 Many people have put in significant effort presenting this material at