Python 3.2 tweaks