Correct minor doc issue in Section 4