Updated header for copyright stuff.