Reformat: corrections