Fix example, and reformat