Another python 3.x fix