Change failure to semantic error