Fixing bug in coverage builds