minor cosmetic modifications