Correct update propagation