fix #9515