Some minor changes in documentation