Fix #761