fix #720