Fix example bug