Fix bug of IfIHave