correct patching coverage.py