Tartaros: Fixed a bug with licensing test cases.