fixes #6266