fix #714