nit-picky housekeeping changes