fixes pointed out by @astrofrog in license text