Is non-const operator[] needed?