2 files changed, 3 insertions, 3 deletions
diff --git a/chapter12/src/main/java/com/seaofnodes/simple/Parser.java b/chapter12/src/main/java/com/seaofnodes/simple/Parser.java
index f4108461..fd0a63f2 100644
--- a/chapter12/src/main/java/com/seaofnodes/simple/Parser.java
+++ b/chapter12/src/main/java/com/seaofnodes/simple/Parser.java
@@ -510,7 +510,7 @@ public class Parser {
             op.setDef(idx,parseAddition());
             Node fop = op.widen();
             lhs = fop.peephole();
-            op.kill();
+            if( op != fop ) op.kill();
             if( negate )        // Extra negate for !=
                 lhs = new NotNode(lhs).peephole();
         }
diff --git a/chapter12/src/main/java/com/seaofnodes/simple/node/DivFNode.java b/chapter12/src/main/java/com/seaofnodes/simple/node/DivFNode.java
index 3333b417..36fd4524 100644
--- a/chapter12/src/main/java/com/seaofnodes/simple/node/DivFNode.java
+++ b/chapter12/src/main/java/com/seaofnodes/simple/node/DivFNode.java
@@ -10,12 +10,12 @@ public class DivFNode extends Node {
 
     @Override public String label() { return "DivF"; }
 
-    @Override public String glabel() { return "*"; }
+    @Override public String glabel() { return "/"; }
 
     @Override
     StringBuilder _print1(StringBuilder sb, BitSet visited) {
         in(1)._print0(sb.append("("), visited);
-        in(2)._print0(sb.append("*"), visited);
+        in(2)._print0(sb.append("/"), visited);
         return sb.append(")");
     }