Small updates in the doc