Fixes #8061