correction on tokenizing identifiers