remove bugs found using protege