fixes #6779