Correct(?) getting of tokens