small changes to OWLAPI3ABoxIterator