Minor fixes on VirtualCoverage name management