fix #4440