fixed up the semantic tests