minor fix to tokenizing