fixing up crap output from protege