Fixed a mistake in the licensing info.