Fixes #6475