fixes #6514