yes, and I think it's better (otherwise we would generate the HTML output each time). But I think we need to keep the setting defined below so that if the coverage_runner is used without command line (might possibly happen, I don't know), the setting is defined.