fixes the bugs in the annotation files (illegal math and accidentally removed unicode)