fix #4417