Fixed bug in unification.