Fixing tabletmanager.py.