Corrected too-early-end-of-file detection bug in READ-LINE.  Committed for testing