This surprised me enough that I had to look up he definition. Worth a comment to explain that this is OK?