Some changes in the documentation.