Fix clover coverage test