Proves the need for more formal verification :)