Fixing another mistake in the documentation