fixes #7755