fix #9915