Added SIGINT