Fix probs in sections 5.6 and 5.9; [ci skip]