Fixes #6543