fix #5607