Fixes #6391