Aesthetic fix of OntologyManager in the intro comment section.