fix #4395