Fix up funny dashes, no change in the content.