These two lines are repeated.