Assorted header comment cleanup.