tweak for python 3.3 compatibility