removed a semi colon that Protege didn't like