Fix add_dest_op.

Prettier printing.