minor fix concerning indexing