Some changes to documentation