fix #5371