Fix #738