Fixup python thingie

Change-Id: I4df22f90c690e8a2517d000588ec7437339e77f0