Final tweaks after proofreading section 2.