This has to be done, in both pprint.py and table.py, right?