minor changes to ontoly