javadoc typo
improved search of axioms