Small cleanup in DotCoverExtractor