Fixed broken coverage text report by updating the cover annotation.