another python 3 fix