Bugfix for Ctrl+C