fix to bug 724954.