fix #733