fix #1725