delete-insert triple bug in main memory indices fixed