small fix for python3