Are the above two lines necessary?