This seems useless, it's not used anywhere.