Cosmetic changes, fixing typos, adding license header.