minor housekeeping edits