Correct the notation of the license (spec)