Fixed some mistakes in section 3