Fix #710