Doc.

The precision "provided that it does not fail" looked weired to me.