fix #12484