slightly tweak licensing terms and style