Some changes in the doc