Cleanup from bad push.