terminally minor cleanup