make python3 happy