fixes #6159