Minor fixes for push