fix #7386 (another issue)