delete some old cruft