small fix in the documentation