fix #1233