Duh. The do_EOF() implementation was bogus. Make it more like

do_quit() -- but print a blank line first.