Fine-tuning archive headers, minor stylistic changes.