Fixes #7209