Trying to fix coverage badge.