Little fix in the documentation.