fixes in the doc