fix #1743