Correct getAllCoverage() return type.