Fix mistake in docs.