fix #4424