Temporarily removing `isEndOfInput`

This is until I can inspect it more closely and make sure that it does the
right thing.