Fixup python thingie

Change-Id: Ie0b2df3169ca8f3aa75dbd63a5ccce47c02fc452