Tiny formatting fix in the lexxer