Small cleanup before moving on to some other endeavor.