Update copyright, and use proper header formatting.