Polish the language and layout in section 4.2