some other python 3.2 fixes