fix #9924