bugfix in get_index