Fixed code coverage annotation