Fix for incorrect count of coverage