Push again before redoing data structures