legalese tweaks in LICENSE.txt