Improve file header comment a bit.