Oops -- forgot to update the comment. I'll get that in the next one.