Fix test-suite bug 3036, the unification error is correct.