Small changes to semantic checker