fix #725