You’re absolutely right. I realized this later but it was too late to edit the post.