To allow Ctrl-C. Added a comment about it.