Fixed a typo with section 4.4