License and copyright headers.