Minor editorial tweaks