xmllint indents comment elements differently