fix in documentation