Comment by korbonits

Proves the need for more formal verification :)