Reformat some examples