Build #1:   Fix: coverage not working on branch master almost 8 years ago