added SIGINT