fix #4457