I don't know much either about this particular parameter. And your implementation looks correct. The thing is that a parameter that cannot be modified is not really a parameter. So yes, it should be dropped from the arguments list as it is misleading otherwise...