I don't know about intention of the coder or consistency with the rest, but strictly speaking, "iff" is more precise than "if" in this description.