There are multiple definitions of this; this line is unnecessary.