fix #3563