Fixed explained above/below/previous in section 4 and 5 (fixed everywhere else in earlier commit)