[Tutti-commits] 10/10: fixes #8109'