Fix formatting issue in section 1