This line says the same thing as the line after, so we're OK without it.