Isn't this an old style class that doesn't work under Python 3?