fix ctrl-c handling

now that I have access to documentation again... :)