Fix example of catch