workaround for python 3.2