I think this text is wrong since the start, I'll ask whether we should change it.