We can therefore remove this code too