small fix in documentation