some minor cosmetic updates