Add a comment explaining used_params.

It's not very clear in the code that used_params is populated as a side
effect of access to the parameters.  I can't think of a way to structure
the code to make this clearer (at least, not without making the code
much more complex).