fix #4534