Better coverage output.