Good catch.  Hm.  I'm not sure.