Added an assert to guarantee that we don't drop a non-trivial update step.