Fix texinfo warnings in documentation