A few small edits to the text.