a bug fix in index generation.