Fix example inputs