Fixup broken header comment.