fix #4429