@dirindon: thanks. Yes, these occasions definately happen. Thought about implementing a reset button, but there was no time left.
@danisobo: If you mean in-game menu, you wont find this in the android version either :/ No time. What you will find in the Android version is most probably some lag :D