Fix reformat problem