alb (05/20/83)
The articles are fine as they are stored here (and as they left here) I suspect it is duke (or another A news site) castrating the headers. The ones that got into the body, you will notice, have no space after the comma, so technically, they are not headers any more.