fixes to license text pointed out by @astrofrog