nicer coverage output