Fix unit propagation.