Fix duplicate attributes in <isindex>

Fixes #237.  The cause was a typo when searching for the 'name' attribute of the <isindex> tag.  @craigbarnes, would you like to review?