Handling EOF on stdin