Good call. I added a note to this effect.