add end-of-file