Mini-tidy up after Protege save