Added some copyright headers I forgot.