Minor changes; no visible effect on output.