Tiny fixes, clearify license