Fixed yet another glitch with Python 3