Minor fix to loadCoverage()