fix index_sequence_instance type