improve gen-cov-summary.py.