fix #6139