[S02] Minor clarification

Make it clear that a specific type (C<Failure>) is returned instead of
something representing a general concept (failure).