fix #9941