Fixed small error in section 2.2.3