Typo in @node firstparagraphindent / texinfo 4.13

[Дилян Палаузов]

Hello,

As of version 4.13, in the documentation of texinfo, file 
src/texinfo.txi in @node firstparagraphindent, last paragraph/line 3968 is:

   It is best to write the @code{@@paragraphindent} command before the
   end-of-header line at the beginning of a Texinfo file, so the region
   formatting commands indent paragraphs as specified.  @xref{Start of
   Header}.

This paragraph shall speak about @code{@@firstparagraphindent}not about 
@code{@@paragraphindent} .

Със здраве,
   Дилян