Comment 2 for bug 512749

Scratch that. The index is actually renamed in the original patch, the cause for this bug must be different.