minor fixes on the doc