[cl-unification-devel] bugfix