fix #12079