Correction to some header comment.