Some minor changes in manual doc