I improved run_specs script so that it detects 0% coverage.