Fixing code coverage annotations