Fixed notation under tokens.