fix some code coverage annotations