Tracking down mismatches on putToksForPos where the tokens do not
match the pos.