push to usual python format