Fixes #6353