small fix in doc