removed an unused variable, as suggested by Herman in previous commit