Python: use new-style class