let's see if Python 3.2.x is happy now...