half-adder: Fix markup.