Re: indexing bug

[Karl Berry]

    Anyways, would adding "@setchapternewpage on" just before
    "@node index" solve the problem?

Probably, but it shouldn't be necessary.  I'll take a look when I can.
Meanwhile, please do feel free to work around the bug.