Fixes #8012