Updated header and comments.