Some minor changes in the documentation