small fix in docs