Made ctrl-C handling nicer.