diff --git a/Destructors.rest b/Destructors.rest
index c8c8659..9d8ae0e 100644
--- a/Destructors.rest
+++ b/Destructors.rest
@@ -137,7 +137,7 @@ Rule         Pattern                         Transformed into
 1.2          var x: sink T; stmts            var x: sink T; stmts; ensureEmpty(x)
 2            x = f()                         `=sink`(x, f())
 3            x = lastReadOf z                `=sink`(x, z); reset(z)
-4.1          y = sinkParam                  `=sink`(y, sinkParam)
+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 it's the last read