With the aid of hypergraph transversals it is proved that γ t (Q n+1 ) = 2γ(Q n ), where γ t (G) and γ(G) denote the total domination number and the domination number of G, respectively, and Q n is the n-dimensional hypercube. More generally, it is shown that if G is a bipartite graph, then γ t (G K 2 ) = 2γ(G). Further, we show that the bipartite condition is essential by constructing, for any k ≥ 1, a (non-bipartite) graph G such that γ t (G K 2 ) = 2γ(G) − k. Along the way several domination-type identities for hypercubes are also obtained.