fix #728