It's worth adding a comment to that effect, or someone might 'optimize' it later.