fix (?) bug preventing Python 3.2 from working