trying to make python3 happy