These two lines can be deleted.