Someone should have pointed out that your code above is not equivalent to the original.

You are right. After explaining the exact meaning of the snippet, I just suggested a more sensible, although not exactly equivalent, way. :-)

— Arien