I made a small edit to the header comment.