Fixes #7146