Correct incorrect coverage annotation