minor fixes in the doc