small edit in do_exit