Fixes #6335