You are right. In fact, I thought about it but then it got lost ....