Whoops, didn't notice that.  You're right.