fix #4431