Minor cleanup in coverage.py