Thanks! I’ll update the blog, and sorry for the mistake. Maybe I read some earlier design notes? Anyway, fixed now.