Yes, this looks like an error. You don't want unordered pairs, which do not form a vector space, but an isomorphism of under order permutation of the terms. Roughly speaking, V⊕W is not the same as W⊕V, but if you swap the order everywhere then math won't notice.