Change some comments to TOVE standard form