Fix external license that got globbered by a script
A few more formatting tweaks