issue #2345: update generated index