Make Python 3.2 happy