Minor fix to section 4