Update overloading_of_"[ ]"