undoing dummy push