added eof to scanner