Oops, sorry about that.  Fixed (here and other places)