Fix error in double adder