Added comments explaining the SIGINT timer