Fix Python nits