Is this line necessary? Otherwise, one should remove it.