fix #4452