Minor edits to the alignment and the like.