Fix: coverage reporting