Replace `iff' in comments.