fix #4594