Better reporting when EOF reached

If the reader tries to read code beyond EOF
then EOF is reported instead of a garbarge-string
of next characters.