A bit of housekeeping.