some minor cosmetics