Thank you, Ken, for the clarification. The documents on which I relied were from the year 2000 or so, that's why I prudently concluded my comment with the sentence "or, at least, it used to be so".