Some fix in the documentation