Implementation: array access typos