Clarify/restrict indexing annotations.