Fixes #6520