fix #4371