Fix some texinfo warnings