diff --git a/Destructors.rest b/Destructors.rest
index 1528b66..9878161 100644
--- a/Destructors.rest
+++ b/Destructors.rest
@@ -136,7 +136,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)
-4.1          sinkParam = y                   `=sink`(sinkParam, y)
+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);