tweak to LICENSE.txt