fix #637