Correction for bug #722531