fixed tokeniser eof handling