Fix #713