[Section 3] Minor fixes on formatting issues