fixes #7970