Fix #709