Yet another python3 fix