Just getting the __del__ stuff on the record.