Coverage-clover fix