Updated coverage reports after Redaktor's pull request.