Fixes #6419