some fixes during the doc writing