console: handle VEOF properly.