Fix typo in code coverage annotation