Correction for coverage bug