Fixed bug with code example in Section 3.5 of the draft.