Fix another unification problem (solving things which shouldn't be)