Doubledashes turn into emdashes in Word and HTML. Stet.