Various housekeeping things.