Add forgotten header comments.