I don't doubt that. What I meant is that we should probably provide a short explanation of the difference, either as a comment in the code or in the text above it.