Small changes to documentation.