Undoing inadvertent push.