fixed a bug in the value propagation