Clean up of weird stuff from Protege