We can leave this out, as it is not used no more