Fix ifoldr documentation.