Minor comment on the preprocessing of disjointclasses axioms.