Tidy `push`.