Read-only support for operator []