Fix #725