some minor cosmetic fixes