Autogenerated MIT license includes both the MIT license and a Copyright line (for proprietary). Is this how the MIT license works?