Fix coverage checking