added some documentation to coverage.py