Build #5:   fix coverage on branch master over 9 years ago