fixes #6458