And it's useless, as it is not used here