Various bits of housekeeping.