tiny commit: close file before exiting