fixes #7776