* minor housekeeping