fix #754