Can we not delete these two lines now?