tweak to make repl exit nicer