Minor patch for a problem noticed yesterday too (in some cases if Ctrl-C is pressed sent is most probably a None value)