Fix example, again