fix #724