Refine token-table-diff script.
Trivial changes.