very small fix in the documentation.