fixes #7840