Fix: bug on propagations