Thanks. I’ve added a comment to that effect.