minor fixes in semantic checks