Fix writing the coverage page.