Fixes #7095