Fix mention of IF_EVAL