fix bug in colliding-tokens.test