minor fix for python3