fix #9917