Please don't ever use a bare @node (I see a number of those have crept in). @node should always be followed by a Texinfo sectioning command (@chapter, @section, ...). The redundancy is annoying, but that's just the way Texinfo is. -k