few fix in documentation