small fixes in the doc