diff --git a/Destructors.rest b/Destructors.rest
index 0d30652..c8c8659 100644
--- a/Destructors.rest
+++ b/Destructors.rest
@@ -129,6 +129,7 @@ it doesn't outlive its origin.
 Rewrite rules (extended)
 ========================
 
+
 ========     ====================            ===========================================================
 Rule         Pattern                         Transformed into
 ========     ====================            ===========================================================
@@ -139,8 +140,7 @@ Rule         Pattern                         Transformed into
 4.1          y = sinkParam                  `=sink`(y, sinkParam)
 4.2          x = y                           `=`(x, y) # a copy
 5.1          f_sink(g())                     f_sink(g())
-5.2          f_sink(y)                       f_sink(copy y); 
-                                             # copy unless we can see it's the last read
+5.2          f_sink(y)                       f_sink(copy y); # copy unless it's the last read
 5.3          f_sink(move y)                  f_sink(y); reset(y) # explicit moves empties 'y'
 5.4          f_noSink(g())                   var tmp = bitwiseCopy(g()); f(tmp); `=destroy`(tmp)
 ========     ====================            ===========================================================