slight Python 3 tweaks