Added coverage output.