Fix to bug 725904