Documentation fixes in sections 1, 2 and 3