minor housekeeping updates