Minor internal cleanup of header formatting

excessive newlines, I think