Added two more test cases, sorted unioned relations, changed a typo