Oops.  You are right.