show a better way of recovering using <<eof>>