modifying coverage.ini