minor changes in Documentation