minor changes on doc