Fix to section 3.