Comment by flurie

  Use exit() or Ctrl-D (i.e. EOF) to exit

Gets me more often than I'd like to admit.