A few minor editorial tweaks.