Small fixes to David's draft.