Fixes #7847