This line is superfluous.