Small changes to the documentation.