fix #7386 (yet another issue)