fixed a number of errors in coverage.py