More Python 3 tweaks

I'd forgotten to save the files