Minor housekeeping update