Fixes #7144