fix #4553