correct source URL for coverage.py