Return from main() cleanup.