py3.2 fix