fix in the documentation