fix #4526