Diff coverage-7.15.2 with a coverage-7.17.0

Thank you!