double complementary -> doubly complementary.

Replace "double complementary" with "doubly complementary" for consistency with
the original paper.