Fixed small issue in unification.