Small changes to documentation