Another fix for Python3