Whoops; bad comment copying.  Fixed.