fixes to index.h