Fixes #7156