fix #738