slightly improve SIGINT logging