Minor editorial tweaks.