Cosmetic changes in the license header.