I think it's safe to delete these two lines