Small editorial improvemnets.