Minor formatting fixes to coverage output