little fix in code of doc