python3 tweaks