Also test under Python 3.3