One more instance of index_to_one_hot