Fix a bug in index construction
Fix a bug in index construction


Former-commit-id: ea10559afbe186aa2f4a997be98761dfbcb38aa6
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle