Some minor editing of our documentation.