Fix #743