Fix syntax error (int-index)