coverage_market: clean-up whitespace