added a tokenify for the ;