Bugfix: Debugging can also be turned off again