Better handling of Ctrl+C.