Make python3 happy