minor fix in license