Fix to bug 707454.