fix a nasty bug in the unifier