Ah, you're totally right. I didn't read this code closely.