[doc] Fix a problem in the previous commit for latex typeset