Minor corrections on the doc