fix bug 12345