fix #8134