fix #721