some python 3 fixes