This line isn't needed since we are effectively repeating ourselves a few lines down.