coverage tweaks: