Simplify index operator syntax

Moves from `[[...]]` to `[...]`.