tokenize: Put back last character after fetching an identifier