cc Minor housekeeping.