Be sure to read end-of-file text.

Fixes #3.