You're right, I've missed that. Shouldn't make a big difference here anyway, as you're pointing out :)