Fix 3035 syntax error