fix #710