A slight change in the current guarded update procedure.