[Tutti-commits] 02/02: fix optional error (see #8109)