Revert "encourage the running of coverage"

This reverts commit bb73852c95a5761d7d562fbc959367383b029264.