Fix #719