removed forgotten code

now exiting actually works