Are the above two lines supposed to be identical?