Small edits to all sections except 5.2