Diff coverage-7.12.1_beta1 with a coverage-7.13.5

Thank you!