Fix bad push