set_label in coverage.py