More fixes and work-arounds to Python translating...  This is so much
harder than it should be...