Fixes #8269