license info and minor formatting