Fixed typo, minor formats, and specified license