Fix licensing glitches, bump version number