Good catch. This is a silly bug. I will fix this.