Fixes #6390