fix #1232