Fixing texinfo bugs