OFIRI: Minor documentation improvement