fix #4331