improved error description from semantic checker