Correction for bug #723777