A few minor updates for clarity