Remove superfluous line

(Which was, incidentally, what caused my mistake which you fixed not to
result in an error)