fixes #6088