fix #9339