a few minor fixes and licensing