PY3: make python3 happy