Correct test coverage annotation