Fix syntax on HalfAdder