A bit of housekeeping I did today: