fix minor push issue