Absolutely right. I wrote this too fast.