some last-minute clean-up