fixed some python formatting