And simplify the failure example a little bit