Some copy editing of the docs