another python3 fix