remove unneeded code, as next token is always non whitespacy

one way or another, we need to change sth.
I am cool with both ways