fix #1713