Build #18:   fix coverage reporting 12 months ago

Build #8645822639:   fix linting issue on branch master almost 2 years ago