fix some header comments