Correction for bug #720496