Minor updates for clarity.