Fix pinot.texi file