Fix a syntax error (int-index)