made some minor cosmetic modifications