Did you paste it directly into Script Editor? I’ve had problems before when I forgot and pasted into another editor and saved that way.