This is taken care of by super's tearDown method.