fix #723