trivial fix in the documentation