Fix: failed when coverage wasn't enabled.