Documentation changes

Here are some small documentation changes.