works in Python 3.2 too