Fix mistake in the docs