We can probably remove these two lines now.