fix #8576