Get rid of a now unused variable.