Some fix in doc/