now ok for python 3.3