Some changes to the documentation.