OFStream: Minor documentation fix