fix #712