fix a subtle bug with unification
[pl] more disambiguation is good for everyone