Replace "if" with "iff" in doc comments