fix bug 3213