fixes #7551