more minor housekeeping.