Fix example 11