Fixes #7316