Trivial fix (new release 3.126)