This event handler's body is commented out; is it needed anymore?