coverage tweaks

tweaks to the coverage integration