Formal MIT License plus fixing language