put back inadvertently-removed copyright notice on tab.py