PiPy fixups