Fix typo and update coverage reports.