Another small Python3 compat.