Tweaks to code coverage article