some minor housekeeping.