Better eof for Tina parser