operator[] now const