Fixes #8065