Fix documented types for failing and ifailing