TextInputStream: don't ignore unterminated last line