Ben, please double-check this.  I'm sure you did the right thing, but I can't tell from here.  Please add a code comment to clarify.  Thanks!