fix #718