[#6104] fix an error