fixes #7511, again