Slight tweaks for clarity.