minor housekeeping