proper python 3.2 support